#include<stdio.h>
void main(){
	double i,j=1;
	for(i=1;i<=20;i++){
		j*=i++;
	}
	printf("%.5lf",j);
}
